World of Books - Find your book here
Reusing OCL in the Definition of Imperative Languages
Fabian BüttnerThe Object Constraint Language (OCL) has proven to be a valuable ingredient for the specification of UML models.
Model-Driven Engineering Languages and Systems: 16th ...
PreviewMichalis Famelis, Rick Salay, Alessio Di Sandro, and Marsha Chechik Automated Verification of Model Transformations in the Automotive Industry .............................. .......................... Gehan M.K. Selim, Fabian Büttner, James R. Cordy, Juergen ...
Models in Software Engineering: Workshops and Symposia at ...
Preview... Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, and Arne Lindow. Workshop. —. NFPinDSML. The 2nd International Workshop on Non- functional System Properties in Domain Specific Modeling Languages ...
UML Modeling Languages and Applications: “UML” 2004 ...
PreviewOn Generalization and Overriding in UML 2.0, Fabian Büttner and Martin Gogolla , University of Bremen, Computer Science Department, Database Systems Group . In the upcoming Unified Modeling Language specification (UML 2.0), ...
Graph Transformations: Third International Conference, ICGT ...
PreviewRealizing Graph Transformations by Pre- and Postconditions and Command Sequences Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, D-28334 Bremen, Germany { green, ...
Modelling -- Foundation and Applications: 7th European ...
PreviewMathieu Acher Abiar Al-Homaimeedi Mauricio Alferez Vincent Aranega Camlon Asuncion András Balogh Olivier Barais Jorge Barreiros Gábor Bergmann Luiz Olavo Bonino Da Silva Santos Artur Boronat Fabian Büttner Sebastian Cech Asma ...
Formal Methods and Software Engineering: 14th International ...
Preview198 Fabian Büttner, Marina Egea, Jordi Cabot, and Martin Gogolla Automatic Generation of Provably Correct Embedded Systems ........ 214 Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, and Jin Song Dong Complementary ...
New Trends in Software Methodologies, Tools and Techniques: ...
Preview[3] Fabian Büttner and Jordi Cabot. Lightweight String Reasoning in Model Finding. Software and System Modeling, 14(1):413–427, 2015. [4] Jordi Cabot, Robert Clarisó, and Daniel Riera. On the Verification of UML/OCL Class Diagrams ...
Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 ...
PreviewA presentation by Fabian Büttner introduced a transformation catalog for UML class diagrams that have OCL constraints. The problem addressed is how to evolve the static class models without rendering the associated OCL invalid.
UML 2004 - The Unified Modeling Language: Modeling Languages ...
Preview... Elisa Baniassad Alexandre Bergel Lodewijk Bergmans Egon Börger Marius Bozga Richard Bubel Fabian Büttner Robert D. Busser Maura Cerioli Alexey Cherchago Joanna Chimiak-Opoka Olivier Constant Steve Cook James Davis Gregory ...
Lincoln's Code: The Laws of War in American History
John Fabian WittIn this deeply original book, John Fabian Witt tells the fascinating history of the laws of war and its eminent cast of characters—Washington, Jefferson, Franklin, Madison, and Lincoln—as they crafted the articles that would change the ...
Possession
Peter JamesA terrifying novel of a young man who is willing to defy even death Fabian Hightower has been killed in a car crash.
Forum Italicum
More editionsFabian Alfie University of Arizona ' A version of this paper was presented at a session of the Thirty-Fourth International Congress on Medieval Studies in Kalamazoo, MI in 1999. 1 would like to thank and acknowledge all the participants of that ...
A Far Horizon
Meira ChandWilliam Dumbleton looked up from behind his table. The papers before him stated that a Janet Jenkins wished to bring a lawsuit against Fabian Demonteguy . The Notary had expected an Englishwoman. He tried not to show his surprise as ...
Succession in Family Businesses: An In-Depth Qualitative ...
Katharina HeinrichsI would like to thank my fellow PhD students and friends at the WHU, Veronika Rettenmeier, Victoria Siebke, Dr. David Hanisch, Dr. Benedikt Herles, and Dr. Fabian Bernhard, for providing invaluable feedback during and beyond.
Ethnicity and Self-identity
PreviewFabian Alfie studies Cecco Angiolieri's poetry and, more generally, early Italian comic tradition. Michael Calabrese focuses on male sexuality as the corollary of the plague in Boccaccio's Decameron and as the inescapable condition facing ...
A is for American: Letters and Other Characters in the Newly ...
Jill LeporeMy parents, too, gave it a read, for which I am immensely grateful. And Ann Fabian, Amy Kittelstrom, and Bryan Waterman read all of it, at the very end, for which I can never thank them enough. Douglas Baynton, James McCann, and Robert ...
The Truth of the Matter
Julius Falconer'Through Godric, Fabian discovers that Fairfax is determined to undermine the claims of James Lavin to the Chelfont baronetcy. He also discovers through Godric that Daphne has been invited by Fr Frobisher to investigate his suspicions that ...
Handbuch deutscher historischen Buchbestände. Großbritannien ...
Bernhard Fabian201-226 Edwards, Edward: Lives of the founders of the British Museum; with notices of its chief augmentors and other benefactors ... London 1973 Harris, P. R.: The acquisitions system of the Department of Printed Books in the 1870s. In : The ...
Compromise, Peace and Public Justification: Political ...
Fabian WendtKalai, Ehud, and Meir Smorodinsky. 1975. Other solutions to Nash's bargaining problem. Econometrica 45: 1623–1630. Kant, Immanuel. 1785/2006. Groundwork of the metaphysics of morals. In Practical philosophy, ed. and trans. M. Gregor.
Discourses of Mourning in Dante, Petrarch, and Proust
Jennifer RushworthLansing, Richard, 'The Formal Structure of the Vita nuova', in 'Accessus ad Auctores': Studies in Honor of Christopher Kleinhenz, ed. by Fabian Alfie and Andrea Dini (Tempe: Arizona Center for Medieval and Renaissance Studies, 2011), pp.
who called from an unknown number?